Nuprl Lemma : squash_functionality_wrt_iff 13,42

PQ:. {P  Q {(P (Q)} 
latex


Upcore 2, core 2
Definitionst  T, , x:AB(x)
Lemmasiff wf

origin